The Type Inference Engine for MATLAB

Lines In[1] and Out[2] below demonstrate a simple interaction with through a notebook interface.1 On line In[1] , the type function object is applied on a representation of the MATLAB expression tanh(3.78i). ’s response, shown on Out[2] , is the inferred type of tanh(3.78i). In this case, “type” is the expression {v, i, s} where v, i and s are the value range, intrinsic type and array shape of tanh(3.78i); Out[2] indicates these to be the point 0.742071 ıi, the $nonreal intrinsic type designator, and the twodimensional array shape with unit extents along both dimensions—that is, the scalar shape.